digraph graph_42_06
{
	node_42_06_1
	[
		fixedsize = true
		width
	]
}
